RésuméIl est bien connu que les notions detaṣawwur et detaṣdīq sont tout à fait centrales dans l’épistémologie de la philosophie arabo-islamique. La “conceptualisation” désigne la définition d'un objet de connaissance, et l’“assentiment” la reconnaissance de la véracité de la définition, par un raisonnement d'un certain type. Parmi les auteurs ayant traité ces deux thèmes le plus en profondeur figure al-Fārābī, qui a exercé sur Ibn Bājja une influence décisive. Cet article analyse les passages relatifs àtaṣawwurettaṣdīqdans les notes d'Ibn Bājja aux (...) écrits de logique et de méthodologie scientifique d'al-Fārābī, en particulier ses gloses auKitāb al-Burhān. On montre ainsi qu'Ibn Bājja a parfaitement saisi l'importance de ces deux termes dans la lecture farabienne de la méthode scientifique aristotélicienne, et qu'il les a employés pour traiter de certaines activités mentales. En effet ces deux notions, centrales chez Ibn Bājja, sont à la base de certaines de ses œuvres les plus fameuses. (shrink)

Ibn ʿAbd al-Barr (368/978-463/1071), uno de los mayores ulemas andalusíes del siglo V/XI, incluye un largo capítulo sobre los anwāʾ en su Kitāb al-Tamhīd, que se estudia, junto a textos afines, en sus dos aspectos fundamentales. En el plano literario, el capítulo contiene una especie de tratado de anwāʾ abreviado que constituye uno de los raros ejemplos de textos andalusíes relacionados con este género en la época de los taifas. En el plano religioso, el capítulo expresa un debate sobre la (...) licitud de los anwāʾ centrado en el hadiz transmitido por Ṣāliḥ ibn Kaysān que condena los anwāʾ en tanto que creencia preislámica. Por su tratamiento extenso y profundo del tema, el capítulo del Tamhīd es uno de los documentos que aporta un mayor conocimiento sobre el problema de fondo del sistema de los anwāʾ y la literatura derivada: su licitud teniendo en cuenta que se basa en una creencia pagana. El debate adquiere todo su sentido cuando se sitúa en una discusión más amplia, frecuente en el s. V/XI andalusi: el uso correcto de la astronomía, ya sea la astronomía matemática de origen griego o la astronomía popular árabe vinculada a los anwāʾ, en un contexto religioso, teniendo en cuenta la oposición a la astrología, considerada generalmente por los ulemas como una disciplina ilícita. (shrink)

RésuméLe présent article propose la liste des œuvres médicales composées par Ibn Bājja, donne une présentation synthétique de celles qui nous ont été transmises et étudie le métacommentaire au commentaire de Galien sur lesAphorismesd'Hippocrate (Sharḥ fī al-Fuṣūl). Ce texte montre une influence profonde d'al- Fārābī, en particulier dans sa conception de l'expérience médicale, qui remonte à la façon dont ce dernier construit l'expérience (tajriba) comme le procédé inductif, décrit par Aristote dans lesSeconds Analytiques, produisant les prémisses de la démonstration. Sur (...) cette base, Ibn Bājja défend la pertinence d'une médecine moins scolastique et plus empirique, une position dont Ibn Rushd se fera l'écho. Des similitudes entre le texte d'Ibn Bājja et leK. al-Kulliyyāt fī al-ṭibbd'Ibn Rushd suggèrent que celui-ci avait lu leSharḥ fī al-Fuṣūl. Cette œuvre, en outre, pourrait bien attester que la dissection humaine était pratiquée à l'époque d'Ibn Bājja. (shrink)

The present paper examines the relationship between explicit and implicit memory and ultimate attainment in the native language. Two groups of native speakers of English with different levels of academic attainment (i.e., high vs. low) took part in three language tasks which assessed grammar, vocabulary and collocational knowledge, as well as phonological short-term memory (assessed using a forward digit-span task), explicit associative memory (assessed using a paired-associates task) and implicit memory (assessed using a deterministic serial reaction time task). Results revealed (...) strong relationships between phonological short-term memory and explicit associative memory on the one hand and the three language tasks on the other hand, and no relation between linguistic performance and implicit memory. Taken together, these results cast doubts on the common assumption that L1 grammar learning depends almost entirely on implicit memory and align with the claims of usage-based models of language acquisition that grammatical and lexical knowledge depend on the same cognitive mechanisms. (shrink)

This essay focuses on two philosophical assumptions.According to the first one, biological normativity is not an irreducible property of the living, but rather the living is the historical result of its normative activity. There is therefore a logic of life at work in every living organism that makes it a subject and an agent. It is not the fact that it is already a subject that explains the presence of this logic. It is therefore not impossible to naturalise biological normativity, (...) even if this concept proposed by Georges Canguilhem makes us bifurcate from a world of facts to a world of values.According to the second, we need to extend Varela’s concept of operational closure in order to naturalise biological normativity. We propose a new way of writing it that takes into account the fact that architectural constraints (ϕ1ϕ2) are always at stake in a biological system. By such constraints, we can predict the presence of specific propulsive and repulsive devices in every organism, by which its organisation can be constantly rebuilt, and through which biological disruption can also be amplified. (shrink)

This article presents three extracts from the introductory course in mathematical logic that Gödel gave at the University of Notre Dame in 1939. The lectures include a few digressions, which give insight into Gödel's views on logic prior to his philosophical papers of the 1940s. The first extract is Gödel's first lecture. It gives the flavour of Gödel's leisurely style in this course. It also includes a curious definition of logic and a discussion of implication in logic and natural language. (...) The second extract is a discussion on undecidability and on Leibniz. The third extract concerns the paradoxes and Russell's theory of types. (shrink)

This article explores links between the modern theory of rational choice and ethics. Ethics allows us to answer an unsolved question in modern decision theory: the structuring problem in decisions. Such a problem cannot be solved coming from the principle of expected utility. This principle can solve the problem of ‚choosing’ among given alternatives, but does not establish which alternatives should be taken into account in decision. In order to understand the structuring problem, the act of ‚choosing’ has to be (...) completed with three human acts: operating, predicting and evaluating. At the same time, the subjective criteria of rational choice – probability and utility – have to be completed with three objective criteria: efficiency, truth and goodness. Utility is a subjective value of an alternative considered in relation to another. Efficiency, truth and goodness are objective qualities of the joint alternatives in relation to the reality: the real operating possibilities of the agent, the real possibilities of his environment and the true good produced. So, the rule that guarantees a decision to be optimal would be: “do that which most certainly maximises our preferences, according to real operative resources, true knowledge and the right will”. However, this rule cannot be applied without the development of virtues, which could be seen as the main moral competences in decision-making. (shrink)

This article reports on ethnographic research into the practical and ethical consequences of the implementation and use of telecare devices for older people living at home in Spain and the United Kingdom. Telecare services are said to allow the maintenance of their users’ autonomy through connectedness, relieving the isolation from which many older people suffer amid rising demands for care. However, engaging with Science and Technology Studies literature on “user configuration” and implementation processes, we argue here that neither services nor (...) users preexist the installation of the service: they are better described as produced along with it. Moving beyond design and appropriation practices, our contribution stresses the importance of installations as specific moments where such emplacements take place. Using Etienne Souriau’s concept of instauration, we describe the ways in which, through installation work, telecare services “bring into existence” their very infrastructure of usership. Hence, both services and telecare users are effects of fulfilling the “felicity conditions” of an achieved installation. (shrink)

Freezers with biospecimen deposits became biobanks and later were networked at the pan-European level in 2013 under the Biobanking and BioMolecular Resources Research Infrastructure—European Research Infrastructure Consortium (BBMRI-ERIC). Drawing on document analysis about the BBMRI-ERIC and multi-sited fieldwork with biobankers in Spain from a science and technology studies approach, we explore what biobanks are expected to do and become under the BBMRI-ERIC framework, and how infrastructural transitions promote particular transformations in biobanking practices. The primary purpose of biobanks in Europe is (...) presented as being to become mediators in contemporary biomedical research (global sharing nodes) distribution, and distributed nodes of samples and their associated data. We argue that infrastructural transitions are complicated and heterogeneous, giving rise to unattended local concerns on adjusting their practices to fit into the BBMRI-ERIC framework, even for non-members, as the case of Spain illustrates, where “old practices” of collection and storage are questioned. In this article, we aim to encourage qualitative studies to explore the lags between pan-European policies and prospects, different contextual interpretations, and biobanking reconfigurations as an opportunity to explore what that lag is made of (e.g. tensions with “old practices,” unresolved conflicts with the national agendas, reservations on a possible centralization of the biobanking practices by regional biobanks, lack of funding, etc.). Such research could enrich not only policy guidance, but also the understanding of technoscientific infrastructures’ scalability. (shrink)

Il s'agit de commenter les principaux écrits de Jean Cavaillès, d'expliciter son appareil conceptuel, mathématique et philosophique et de montrer la progression d'une réflexion originale qui, dans la première moitié du XXe siècle, voulait prendre la mesure des avancées et des controverses déterminant les mathématiques modernes.

La vie ordinaire efface le temps perdu : il faut travailler pour vivre, et pour que l'ordre social se maintienne. Perdre son temps devient alors une forme de sabotage. Raison pour laquelle nous ne parlons pas de ce temps que nous perdons ; raison pour laquelle aussi le langage ordinaire se prête mal à décrire le temps perdu. On risque donc ici un éloge de l'inactivité. En faisant redécouvrir plusieurs façons de perdre son temps : la mélancolie, le divertissement, la (...) panne, la procrastination, la flânerie, l'ennui, la rêverie, la cigarette... Mais en constatant également que toutes ces expériences ne sont pas celles de ce temps "volé", "dérobé", "tué" que définit plus précisément le verbe traîner. Ceux qui traînent : les passants dans un cimetière, certains personnages d'Aragon ou de Queneau, M Hulot détraquant l'ordre des vacances, les passagers d'un RER stoppé par la neige, l'internaute soudain débranché. Ces moments étranges - où Pascal, lui, pariait sur Dieu - sont autant d'expériences de pensée. Car philosophe est celui qui ne craint pas de rater son train. (shrink)

La Historia sólo toma sentido dentro del historicismo. O, dicho de otro modo, cualquier intento de dar sentido a la Historia ha de caer en las redes del historicismo. Se trata de una telaraña en la que se dejan enredar con entusiasmo las gentes en busca del ideal a que entregan sus vidas. Funciona como un ideal regulativo que distorsiona los acontecimientos pasados poniéndolos al servicio de la consecución de un plan que se concretará en el modelo final que le (...) da razón de ser a todo el proceso. Sánchez Ferlosio se adentra en los mecanismos psicológicos y pedagógicos con los que el sistema político va obnubilando la capacidad crítica de las gentes hasta que, identificándose con el Todo histórico que les permite huir del mosaico descolocado de la realidad humana, sacrifican generosamente sus vocaciones y motivos de recreo. (shrink)

Exposición correspondiente al acto de defensa de la Tesis Doctoral del Dr. Bordas Prószynski, intitulada El pensamiento político de Josep Torras i Bages, en la que se recorre el marco histórico-cultural de la Cataluña de finales del siglo xix y de comienzos del xx, para apreciar la aportación de la persona y de la obra de Josep Torras i Bages, obispo de Vic durante los años 1899 a 1916. El resultado de la investigación ofrece una síntesis de su pensamiento político, (...) especialmente por lo que se refiere a su doctrina regionalista, vindicando la tradición cristiana de Cataluña. (shrink)

This paper is a discussion of Gödel's arguments for a Platonistic conception of mathematical objects. I review the arguments that Gödel offers in different papers, and compare them to unpublished material (from Gödel's Nachlass). My claim is that Gödel's later arguments simply intend to establish that mathematical knowledge cannot be accounted for by a reflexive analysis of our mental acts. In other words, there is at the basis of mathematics some data whose constitution cannot be explained by introspective analysis. This (...) does not mean that mathematics is independent of the human mind, but only that it is independent of our ?conscious acts and decisions?, to use Gödel's own words. Mathematical objects may then have been created by the human mind, but if so, the process of creation cannot be completely analysed and re-enacted. Such a thesis is weaker than some of the statements that Gödel made about his conceptual realism. However, there is evidence that Gödel seriously considered this weak thesis, or a position depending only on this weak thesis. He also criticized Husserl's Phenomenology from this point of view. (shrink)

La tribu de los nativos del poblado de Ses Paysses reacciona con odio y violencia ante la presencia de los extraños griegos. Nuredduna descubre en la finura de espíritu del rapsoda Melesigeno que existe un nuevo mundo que enriquece su condición humana. La gran estatua de Nuredduna, de Remigia Caubet, en el Paseo Marítimo de Palma, muestra a Nuredduna mirando al mar con la mano extendida como esperando la llegada del extranjero que la abrirá a un nuevo mundo de harmonía, (...) más universal, mucho más enriquecedor que la mirada corta que se cree dueña de lo inmediato. Este precioso mensaje del poema de Miquel Costa i Llobera tiene una evidente actualidad para Mallorca, para España, para Europa y para el mundo. Todos se ven atormentados por los nacionalismos, por las fuertes corrientes migratorias e inmigratorias, por el turismo, y, al mismo tiempo, estimulados por la llamada filosófica del hombre universal de Hegel y por la llamada cristiana a la hermandad universal. El poema de Costa es una hermosa y poética llamada a saber dejarnos llevar por la dinámica de la historia que nos mueve a superar la singularidad y abrirnos a la universalidad. (shrink)

El presente artículo defiende que en _ Gorgias _ 521d Sócrates se atribuye a sí mismo una forma genuina de saber político. Para ello, se abordan los problemas planteados por la crítica reciente en lo que respecta a la aparente incompatibilidad de dicha atribución con (1) el reconocimiento explícito en _ Gorgias _ de no poseer un saber referido a lo justo, y (2) la aparente invalidez de la actividad desarrollada por Sócrates para contar, bajo los criterios que él mismo (...) establece en el _ Gorgias _, como efectivamente política. El trabajo responde a estas dificultades realizando un análisis del tipo de naturaleza que Sócrates atribuye a su propio saber en esta obra, así como de los efectos que su actividad dialógica demuestra ser capaz de producir sobre Calicles. De este modo, el artículo permite aclarar en qué sentido Sócrates es presentado en el _ Gorgias _ como el verdadero político. El presente artículo defiende que en _ Gorgias _ 521d Sócrates se atribuye a sí mismo una forma genuina de saber político. Para ello, se abordan los problemas planteados por la crítica reciente en lo que respecta a la aparente incompatibilidad de dicha atribución con (1) el reconocimiento explícito en _ Gorgias _ de no poseer un saber referido a lo justo, y (2) la aparente invalidez de la actividad desarrollada por Sócrates para contar, bajo los criterios que él mismo establece en el _ Gorgias _, como efectivamente política. El trabajo responde a estas dificultades realizando un análisis del tipo de naturaleza que Sócrates atribuye a su propio saber en esta obra, así como de los efectos que su actividad dialógica demuestra ser capaz de producir sobre Calicles. De este modo, el artículo permite aclarar en qué sentido Sócrates es presentado en el _ Gorgias _ como el verdadero político. (shrink)

Establishing phonologically robust lexical representations in a second language is challenging, and even more so for words containing phones in phonological contrasts that are not part of the native language. This study presents a series of additional analyses of lexical decision data assessing the phonolexical encoding of English /ε/ and /æ/ by German learners of English in order to examine the influence of lexical frequency, phonological neighborhood density and the acoustics of the particular vowels on learners’ ability to reject nonwords (...) differing from real words in the confusable L2 phones only. Results showed that both the lexical properties of the target items and the acoustics of the critical vowels affected nonword rejection, albeit differently for items with /æ/ → [ε] and /ε/ → [æ] mispronunciations: For the former, lower lexical frequencies and higher neighborhood densities led to more accurate performance. For the latter, it was only the acoustics of the vowel that had a significant impact on learners’ accuracy. This suggests that the encoding of /ε/ and /æ/ may not only be asymmetric in that /ε/ is generally more robustly represented in the lexicon than /æ/, as previously reported, but also in the way in which this encoding takes place. Mainly, the encoding of /æ/ appears to be more dependent on the characteristics of the L2 vocabulary and on one’s experience with the L2 than that of its more dominant counterpart. (shrink)

This article is a conceptual contribution on how to make human habitat more sustainable. Taking Heidegger’s conception of “dwelling” as a starting point, a new form of understanding the organization of the city as a human habitat is proposed. It is argued that human habitat is today in crisis and that such crisis has its roots in a spatial understanding of human dwelling, disregarding its temporal-historical dimension. For long time, the city has been considered as a physical “place” and its (...) organization—the urban planning—has been addressed in terms of “locating”. Many of the challenges in organizing habitat are the result of reducing the organization of the city to the organization of physical space. One of these is the conflict between preservation and development, a central issue in approaching sustainability. The aim of this article is to propose a new perspective on the organization of human dwelling, which overcomes the spatial-based conception of habitat and involves its temporal dimension. The meaning of human “habitat” as a historical process for developing “habits” will be recovered, and the implications for organization of the city considered. Human habitat is above all an ethical space, constituted in a spatial–temporal process of developing learning and capabilities. This habitat can be shared and developed infinitely so that a pathway is opened for overcoming the logic of competition and the conflict between sustainability and development. Finally, three forms of the human habitat as an “ethical space” are proposed. (shrink)

The aim of being able to reason about quantities, time or space has been the main objective of the many efforts on the integration of propositional planning with extensions to handle different theories. Planning modulo theories are an approximation inspired by satisfiability modulo theories that generalize the integration of arbitrary theories with propositional planning. Parallel plans are crucial to reduce plan lengths and hence the time needed to reach a feasible plan in many approaches. Parallelization of actions relies on the (...) notion of interference, which is usually determined syntactically at compile time. In this paper we define a semantic notion of interference between actions in PMT. Apart from being strictly stronger than any syntactic notion of interference, we show how semantic interference can be easily and efficiently checked by calling an off-the-shelf SMT solver at compile time, constituting a technique orthogonal to the solving method. (shrink)

En primer lugar, la presente comunicación describe brevemente un suceso un tanto insólito: el que una página web haya puesto en jaque al considerado gobierno nacional más poderoso del mundo. En segundo lugar, se ofrece una posible perspectiva teórica para interpretar tal acontecimiento: la teoría de la opinión pública, principalmente desde su articulación en el seno de la Teoría Crítica de Jürgen Habermas. En tercer lugar, se evalúan someramente las luces y las sombras tanto de WikiLeaks como de Habermas mediante (...) la comparación crítica. En general, este trabajo se propone iniciar el análisis de las potencialidades de internet como herramienta y espacio en favor de la democracia y la emancipación de una ciudadanía participativa y no encerrada en sus clásicos límites estatales. (shrink)

Este artículo estudia la relación entre bien y conocimiento en la República de Platón, en diálogo con la recepción de esta temática en la obra del filósofo Leonardo Polo. Para ello, se ofrece, en primer lugar, una reconstrucción de la lectura del bien platónico en la obra poliana a lo largo de los años 80 y 90. A continuación, y a partir de un análisis de los textos relevantes de la República, se discute la interpretación de Polo en lo que (...) respecta al acceso al bien y al tipo de causalidad del bien en relación con el conocimiento. El presente artículo propone una lectura alternativa que cuestiona la tesis poliana según la cual la doctrina aristotélica sobre el conocimiento como acto es radicalmente incompatible con la epistemología platónica. (shrink)

Resumen: El objetivo de este artículo es realizar un repaso de las teorías de las emociones más importantes de las últimas décadas y valorar en qué medida tales teorías ofrecen una buena caracterización del fenómeno en cuestión. Para alcanzar una comprensión adecuada de las diferentes teorías, así como del rumbo que ha tomado el debate actual sobre las emociones, es importante que prestemos especial atención a algunos de los compromisos filosóficos involucrados en la formulación de estas teorías. La revisión cuidadosa (...) de algunos de estos compromisos nos llevará a plantearnos si algunas de las dificultades a las que se enfrentan varias de las teorías de las emociones actuales podrían tener origen en tales compromisos filosóficos y no, como suele pensarse, en la complejidad de las emociones.: The aim of this paper is to review the most important theories of emotions in recent decades and to assess the extent to which these theories provide a good characterisation of the phenomenon in question. In order to achieve an appropriate understanding of the different theories, as well as of the direction that the current debate on emotions has taken, it is important that we pay special attention to some of the philosophical commitments involved in the formulation of these theories. Careful examination of some of these commitments will lead us to consider whether some of the difficulties faced by several of the current theories of emotions might stem from such philosophical commitments rather than, as is often thought, from the complexity of emotions. Palabras clave: episodios, intencionalidad, fenomenología, propiedades evaluativas. Keywords: episodes, intentionality, phenomenology, evaluative properties. (shrink)

La genealogia de la moral de Nietzsche, resulta extremadament pertinent per una epistemologia del bé relativa a les incisions institucionals sobre part de la població del Raval. Primer, sobre Raval s�haurien dut a terme tot tipus d�abusos, com destruccions d�habitatges i de trama urbana, així com persecucions o expulsions de població, pel bé del barri o de la ciutat. Si això és així, es pot afirmar que les convergències institucionals en aquest punt es sustenten en una epistemologia interessada. Segon, el (...) pathos de la distància definit per Nietzsche, així com l�assumpció per part de les noves ideologies urbanístiques del primitiu paper de la �casta sacerdotal�, permetrien actualitzar la crítica envers �el civisme�, entès aquest, com l�expressió més recent i efectiva de les cultures de control. I tercer, aquesta epistemologia interessada, permetria reclamar la noció marxiana de lluita de classes per interpretar un crònic i generalitzat menyspreu sobre una part important de la població més irredempta d�un dels barris més convulsos d�Europa. (shrink)

El presente artículo se centra en el estudio de la interpretación del Sofista, de Platón, desarrollada por Heidegger en las lecciones del semestre de invierno de 1924/25 en la Universidad de Marburgo. En particular, en él se ofrece una reconstrucción de la lectura heideggeriana a este diálogo desde la perspectiva que abre la consideración de la filosofía como un modo de existencia. Con este objetivo, se analizan dos claves centrales del comentario de Heidegger: la contraposición de la filosofía con la (...) sofística y la contraposición de la filosofía con la adhesión dogmática a unos principios de escuela. En la parte final del artículo se desarrollan también algunas implicaciones del análisis anterior para la interpretación de la función del interlocutor principal de este diálogo, el Extranjero de Elea, así como de la naturaleza de la investigación filosófica tal y como es presentada por Platón en el Sofista. (shrink)

abstractBackground: Evidence shows both a tendency for research participants to conflate research and clinical care and a limited public understanding of research. Conflation of research and care by participants is often referred to as the therapeutic misconception. Despite this evidence, few studies have explicitly asked participants, and especially minors, to explain what they think research is and how they think it differs from regular medical care. Methods: As part of a longer semistructured interview evaluating assent and parental permission for research, (...) adolescent research participants (n = 177), including adolescents with illnesses and healthy volunteers, and their parents (n = 177) were asked to describe medical research in their own words and say whether and how they thought being in medical research was different from seeing a regular doctor. Qualitative responses were coded and themes were identified through an iterative process. Results: When asked to describe medical research, the majority described research in terms of its goals of helping to advance science, develop treatments and medicines, and help others; fewer described research as having the goal of helping particular research participants, and fewer still in terms of the methods used in research. The majority of teen and parent respondents said being in research is different than seeing a regular doctor and explained this by describing different goals, different or more procedures, differences in the engagement of the doctors/researchers, and differences in logistics. Conclusions: Adolescents participating in clinical research and their parents generally describe medical research in terms of its goals of advancing science and finding new medicines and treatments, sometimes in combination with helping the enrolled individuals. The majority perceive a difference between research and regular medical care and described these differences in various ways. Further exploration is warranted about how such perceived differences matter to participants and how this understanding could be used to enhance informed consent and the overall research experience. (shrink)

In Visión Deleytable, after explaining the absurdities and contradictions contained in several opinions on providence, Sabieza declares that it will be revealed the one she considers true, but then she argues that all they are partly true. Our aim in this paper is to prove that, in the study of the contradictions found in the Prologue of Maimonides’ Guide of the Perplexed, as well as in the various conceptions of God that coexist in this work, and even in Rabbinical Literature, (...) is traceable in nuce a Kabbalistic doctrine that could foreshadow Alfonso de la Torre’s conception of providence, namely, that truth is in multiplicity merely ‘from the perspective of the recipients’. (shrink)

Biologists and philosophers often use the language of determination in order to describe the nature of developmental phenomena. Accounts in terms of determination have often been reductionist. One common idea is that DNA is supposed to play a special explanatory role in developmental explanations, namely, that DNA is a developmental determinant. In this article we try to make sense of determination claims in developmental biology. Adopting a manipulationist approach, we shall first argue that the notion of developmental determinant is causal. (...) We suggest that two different theses concerning developmental determination can be articulated: determination of occurrence and structural determination. We shall argue that, while the first thesis is problematic, the second, opportunely qualified, is feasible. Finally, we shall argue that an analysis of biological causation in terms of determination cannot account for entangled dynamics. Characterising causal entanglement as a particular kind of interactive causation whereby difference-making causes ascribable to different levels of biological organisation influence a particular ontogenetic outcome, we shall, via two illustrative examples, diagnose some potential limits of a reductionist, molecular and intra-level understanding of biological causation. (shrink)

We present a version of system Fω, called image, in which the layer of type constructors is essentially the traditional one of Fω, whereas provability of types is classical. The proof-term calculus accounting for the classical reasoning is a variant of Barbanera and Berardi’s symmetric λ-calculus.We prove that the whole calculus is strongly normalising. For the layer of type constructors, we use Tait and Girard’s reducibility method combined with orthogonality techniques. For the layer of terms, we use Barbanera and Berardi’s (...) method based on a symmetric notion of reducibility candidate. We prove that orthogonality does not capture the fixpoint construction of symmetric candidates.We establish the consistency of image, and relate the calculus to the traditional system Fω, also when the latter is extended with axioms for classical logic. (shrink)